Modular protein-oligonucleotide signal exchange

Modular Fair Exchange Protocols for Electronic Commerce

Recently, research has focused on enabling fair exchange between payment and electronically shipped items. The reason for this is the growing importance of Electronic Commerce and the increasing number of applications in this area. Although a considerable number of fair exchange protocols exist, they usually have been defined for special scenarios and thus only work under particular assumptions...

An Exchange Format for Modular Knowledge

We present a knowledge exchange format that is designed to support the exchange of modularly structured information in mathematical and logical systems. This format allows to encode mathematical knowledge in a logic-neutral representation format that can represent the meta-theoretic foundations of the systems together with the knowledge itself and to interlink the foundations at the meta-logica...

New Modular Compilers for Authenticated Key Exchange

We present two new compilers that generically turn passively secure key exchange protocols (KE) into authenticated key exchange protocols (AKE) where security also holds in the presence of active adversaries. Security is shown in a very strong security model where the adversary is also allowed to i) reveal state information of the protocol participants and ii) launch theoretically and practical...

Optical Signal Processing: Data Exchange

Modular binding domains in signal transduction proteins

The transduction of a signal is a change in form of the signal as it is passed from one carrier to another. The root "duce" means"to lead" in Latin; thus, a signal is led through a cell by steps of transduction (the same root is in the words seduce and duct as well as II Duce). The earliest transduction steps that were elucidated involved massive release of small molecule "second messengers", o...